Relations and Partialities
نویسنده
چکیده
We define the concept of partiality to cope with partial availability of arguments and results of program steps. To this end, relation algebras are investigated for which, in addition to the identity , a specific type of an ordering E ⊇ is given in order to model increasing degrees of availability. It turns out that functions regulating non-strict transfer of partialities in processes are lattice-continuous with respect to such orderings. One may also consider partialities with regard to their “atomic” constituents. We exhibit how relations between the atomic constituents before and after a process step are represented by such continuous partiality transfer functions. Our result is that they are images of a multiplicative embedding into a larger relation algebra.
منابع مشابه
Accounting for partiality in serial crystallography using ray-tracing principles
Serial crystallography generates `still' diffraction data sets that are composed of single diffraction images obtained from a large number of crystals arbitrarily oriented in the X-ray beam. Estimation of the reflection partialities, which accounts for the expected observed fractions of diffraction intensities, has so far been problematic. In this paper, a method is derived for modelling the pa...
متن کاملGender and HIV/AIDS impact mitigation in sub-Saharan Africa--recognising the constraints.
In discussions of gender and HIV/AIDS, attention has focused on prevention. This is a vital area. However, we argue that there is also a need to focus more attention on the resulting impact of the epidemic, because inequalities that promote the spread of infection are also hampering containment and impact mitigation. We propose a framework highlighting the gendered constraints exacerbated by th...
متن کاملA Solution to Bargaining Problem on Divisible Goods
Two-person bargaining problem is considered as to allocate a number of goods between two players. This paper suggests that any non-trivial division of goods cause a non-zero change on the solution of bargaining. So, a axiom of sharing division is presented, as an alternative axiom to Nash’s axiom of independence of irrelevant alternatives and Kalai-Smorodinsky’s axiom of monotonicity. This solu...
متن کاملPost-refinement method for snapshot serial crystallography
A post-refinement procedure has been devised for 'snapshot' diffraction data consisting entirely of partially recorded reflections, each diffraction pattern from a crystal in an orientation unrelated to the others. Initial estimates of the diffraction geometry are used to calculate initial partialities, which are then used to scale the entire dataset together to produce initial estimates of the...
متن کاملJudgment of land ownership by young refugee Palestinian and U.S. children
Children’s sense and reasoning about territory and land ownership may develop differently in contexts of poverty and where narratives of dispossession are a part of daily life and are of political and historical significance, as is the case in the Palestinian refugee context in Lebanon. In this study we looked at how 3and 5-year-old refugee Palestinian and American children distribute land amon...
متن کامل